Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May... Theory and Applications of Satisfiability Testing - SAT 2007 - 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Paperback, 2007 ed.)
Joao Marques-Silva, Karem A. Sakallah
R1,726 Discovery Miles 17 260
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing, SAT 2007, held in Lisbon, Portugal in May 2007.

The 22 revised full papers presented together with 12 revised short papers and two invited talks cover all current research issues in propositional and quantified Boolean formula satisfiability testing.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
A Pocketful Of Happiness - A Memoir (Paperback): Richard E. Grant
A Pocketful Of Happiness - A Memoir
Richard E. Grant Paperback R390 Discovery Miles 3 900
Budget Compact Mirror [Blue]:
Budget Compact Mirror [Blue]
R9 Discovery Miles 90
Pyrex Classic Kitchen Lab Measuring Glass (250ml):
Pyrex Classic Kitchen Lab Measuring…
R139 R83 Discovery Miles 830
Clare - The Killing Of A Gentle Activist (Paperback): Christopher Clark
Clare - The Killing Of A Gentle Activist
Christopher Clark Paperback R360 R309 Discovery Miles 3 090
LocknLock Pet Food Container (500ml):
LocknLock Pet Food Container (500ml)
R53 Discovery Miles 530
The Cassandra Complex (Paperback): Holly Smale
The Cassandra Complex
Holly Smale Paperback R380 R199 Discovery Miles 1 990
White Glo Coffee & Tea Drinkers' Formula Toothpaste (100ml):
White Glo Coffee & Tea Drinkers' Formula…
R60 Discovery Miles 600
Barbie - 4K Ultra HD + Blu-Ray (Blu-ray disc): Margot Robbie, Ryan Gosling
Barbie - 4K Ultra HD + Blu-Ray
Margot Robbie, Ryan Gosling Blu-ray disc R767 R513 Discovery Miles 5 130
Benylin Mucus Relief Wet Cough Syrup (Menthol | 50ml):
Benylin Mucus Relief Wet Cough Syrup…
R40 Discovery Miles 400
Oversized Top & Ribbed Leggings Set (Black):
Oversized Top & Ribbed Leggings Set…
R599 Discovery Miles 5 990

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners